CatDat

Implication Details

Assumptions: self-dualwide pushouts

Conclusions: wide pullbacks

Reason: This holds by self-duality.